101. Groundwork of logic
پدیدآورنده : /J.Welton.,ولتن,Welton
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق
رده :
BC
۷۸
/
و
۸
گ
۴ ۱۳۱۰
102. Handbook of Logic in Computer Science
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic, Symbolic and mathematical,علوم کامپیوتر ,منطق ریاضی
رده :
E-Book
,
103. Handbook of Spatial Logics
پدیدآورنده : \ Edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
104. Handbook of logic and language
پدیدآورنده : / Johan Van Benthem, Alice ter Meulen.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : پردازش زبان طبیعی,منطق ریاضی,معنی‌شناسی,-- دستنامه‌ها,-- دستنامه‌ها,-- دستنامه‌ها
رده :
QA
۷۶
/
۹
/
پ
۴۴
ھ
۹ ۱۳۹۰
105. Handbook of philosophical logic
پدیدآورنده : / edited by D. M. Gabbay and F. Guenthner.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق
رده :
BC
۶
/
ھ
۹ ۱۳۸۶
106. Handbook of the History of Logic
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- History,منطق -- تاریخ
رده :
E-Book
,
107. Hegel's Conception of the Determinate Negation
پدیدآورنده : \ by Terje Sparby.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Hegel, Georg Wilhelm Friedrich,1770-1831.,Logic.,Negation (Logic),ه‍گ‍ل، گ‍ئ‍ورگ وی‍ل‍ه‍ل‍م ف‍ری‍دری‍ش، ۱۷۷۰ - ۱۸۳۱ م. ,منطق
رده :
B2949
.
L8S63
2015
108. Hegel’s Conception of the Determinate Negation
پدیدآورنده : \ By Terje Sparby
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Hegel, Georg Wilhelm Friedrich, 1770-1831.,Negation (Logic),ه‍گ‍ل، گ‍ئ‍ورگ وی‍ل‍ه‍ل‍م ف‍ری‍دری‍ش، ۱۷۷۰ - ۱۸۳۱م. ,(ن‍ف‍ی (منطق
رده :
E-Book
,
109. Hegel’s Theory of the Subject
پدیدآورنده : \ Edited by David Gray Carlson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Hegel, Georg Wilhelm Friedrich, 1770-1831. Wissenschaft der Logik. ,Logic,منطق
رده :
E-Book
,
110. Inductive Logic Programming
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming -- Congresses,Induction (Logic) -- Congresses,برنامه‌نویسی منطقی -- کنگره‌ها,استقرا (منطق) -- کنگره‌ها
رده :
E-Book
,
111. Inductive Logic Programming
پدیدآورنده : \ Jesse Davis, Jan Ramon (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming,برنامه‌نویسی منطقی, -- Congresses, -- کنگره‌ها,a03,a03,Induction (Logic) -- Congresses.,Machine learning -- Congresses.,استقرا (منطق) -- کنگره ها,فراگیری ماشینی -- کنگره ها
رده :
QA
76
.
63
.
I57
2015
E-Book
,
112. Inductive logic
پدیدآورنده : / by W. G. Ballantine.,بالانتاین,Ballantine
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق
رده :
BC
۱۰۸
/
ب
۲
الف
۹ ۱۲۷۵
113. Information and Knowledge: a constructive type-theoretical approach
پدیدآورنده : / By Giuseppe Primiero,پریمیرو,Primiero
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : شناخت (فلسفه),منطق
رده :
۴
پ
BD
۱۶۱
/
۱۳۸۷ ۹
الف
114. Intelligent Control
پدیدآورنده : \ Nazmul Siddique; Foreword by Bernard Widrow
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Intelligent control systems,Fuzzy logic,سیستم‌های کنترل هوشمند,منطق فازی,a03,a04,a03,a04
رده :
E-Book
,
115. Interactive Theorem Proving
پدیدآورنده : \ Christian Urban, Xingyuan Zhang (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a03,a03
رده :
QA
76
.
9
.
A96
E-Book
,
116. Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics
پدیدآورنده : \ [Edited by] Manuel Rebuschi...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Knowledge, Theory of,Language and logic,شناخت (فلسفه),زبان و منطق,a04,a05,a04,a05,Reasoning.,استدلال
رده :
BC
177
.
I5
2014
E-Book
,
117. Introduction To The Theory Of logic
پدیدآورنده : \ Jose L. Zalabardo
کتابخانه: (طهران)
موضوع : منطق
رده :
BC
108
.
Z35
118. Introduction to logic
پدیدآورنده : / Michael T. Carlsen-Jones.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق
رده :
BC
۷۱
/
ک
۲
الف
۹ ۱۳۶۲
119. Introduction to logic
پدیدآورنده : /Irving M.Copi.,ک‍اپ‍ی,Copi
موضوع : منطق
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
120. Introduction to logic
پدیدآورنده : / Irving M. Copi
کتابخانه: (طهران)
موضوع : منطق,Logic
رده :
BC108
.
C69
